ar X iv : m at h / 05 06 31 0 v 1 [ m at h . C T ] 1 5 Ju n 20 05 Coherence and Confluence
نویسنده
چکیده
Proofs of coherence in category theory, starting from Mac Lane’s original proof of coherence for monoidal categories, are sometimes based on confluence techniques analogous to what one finds in the lambda calculus, or in term-rewriting systems in general. This applies to coherence results that assert that a category is a preorder, i.e. that “all diagrams commute”. This note is about this analogy, paying particular attention to cases where the category for which coherence is proved is not a groupoid. Mathematics Subject Classification (2000): 18A15, 18D10, 03B40, 03D03
منابع مشابه
ar X iv : m at h / 05 06 60 5 v 1 [ m at h . Q A ] 2 9 Ju n 20 05 Convergence of the Wick Star Product
We construct a Fréchet space as a subspace of Cω(Cn) where the Wick star product converges and is continuous. The resulting Fréchet algebra A~ is studied in detail including a ∗-representation of A~ in the Bargmann-Fock space and a discussion of star exponentials and coherent states.
متن کاملar X iv : m at h / 05 06 37 9 v 1 [ m at h . G N ] 1 9 Ju n 20 05 Residuality of Families of F σ Sets Shingo
We prove that two natural definitions of residuality of families of Fσ sets are equivalent. We make use of the Banach-Mazur game in the proof.
متن کاملar X iv : m at h / 05 06 21 5 v 1 [ m at h . FA ] 1 1 Ju n 20 05 Scaled Enflo type is equivalent to Rademacher type Manor Mendel
We introduce the notion of scaled Enflo type of a metric space, and show that for Banach spaces, scaled Enflo type p is equivalent to Rademacher type p.
متن کاملar X iv : m at h / 06 05 64 5 v 3 [ m at h . A G ] 3 0 Ju n 20 06 ON NORI ’ S FUNDAMENTAL GROUP SCHEME
The aim of this note is to give two structure theorems on Nori’s fundamental group scheme of a proper connected variety defined over a perfect field and endowed with a rational point.
متن کاملar X iv : h ep - t h / 05 06 19 5 v 1 2 3 Ju n 20 05 Geometric transitions and mixed Hodge structures
We formulate and prove a B-model disc level large N duality result for general conifold transitions between compact Calabi-Yau spaces using degenerations of Hodge structures.
متن کامل